John MacFarlane ABELARD’S ARGUMENT FOR FORMALITY
نویسنده
چکیده
Two things are striking about this medieval definition. The first is that it is very close to the modern conception of formal consequence one finds in Bolzano and Tarski3. The second is that although Buridan and the other fourteenth-century logicians state these distinctions with a great deal of precision, they say almost nothing about the point of the distinctions. Why are these distinctions drawn in the way they are? What philosophical purpose do they serve?
منابع مشابه
Analyticity and Logicality in Semantic Constraints
Logic is often said to be “formal” in some sense. This is generally taken to mean that logical inferences, and therefore valid logical arguments, are those where the conclusion follows based on the form of the constituent sentences alone. Catarina Dutilh Novaes (2011) and John MacFarlane (2000) cite this notion as one of the ways we can think about the formality of logic. More specifically, thi...
متن کاملComments on MacFarlane∗
The natural answer to this question, MacFarlane takes it, is “yes”. I don’t propose to harp on the question of whether MacFarlane has the data right. Let us just assume, for the sake of argument, that he does. Let us further assume that his interpretation of the data is correct—i.e., that these judgments are assessments of the the whole clause and not simply of the prejacent. Granting all this—...
متن کاملComments on MacFarlane
The natural answer to this question, MacFarlane takes it, is “yes”. I do not propose to harp on the question of whether MacFarlane has the data right. Let us just assume, for the sake of argument, that he does. Let us further assume that his interpretation of the data is correct—i.e., that these judgments are assessments of the the whole clause and not simply of the prejacent. Granting all this...
متن کاملRelativism, the Open Future, and Propositional Truth
F. Correia and A. Iacona (eds.), Around the Tree: Semantic and Metaphysical Issues Concerning Branching and the Open Future, Synthese Library 361, DOI 10.1007/978-94-007-5167-5_1, © Springer Science+Business Media Dordrecht 2013 Abstract In his paper “Future Contingents and Relative Truth,” John MacFarlane argues for truth relativism on the basis of the possibility of the open future. He defend...
متن کاملOn Kontsevich's Formality Theorem
This paper is submitted as a dissertation for the degree of a Master of Science in Mathematics. It reviews the link between formal deformation quantizations and Poisson manifolds, which was conjectured in 1993. This link is a corollary of a more general statement called "Formality Theorem", proved by Maxim Kontsevich in 1997. supervised by Prof. John Jones
متن کامل